Nuprl's Inductive Logical Forms

Source URL: www.ai4fm.org

• Type theory
• Mathematical logic
• Logic
• Hierarchy
• Structure
• Reasoning
• Automated theorem proving
• Epistemology
• Inductive reasoning
• Nuprl
• Logic programming

LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address:

Source URL: www.ccs.neu.edu

• Logic
• Mathematical logic
• Abstraction
• Predicate logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Constructible universe
• Quantifier
• First-order logic

Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic Marc Denecker and Joost Vennekens December 12, 2008

Source URL: people.cs.kuleuven.be

[Apologies for multiple copies...] ----------------------------------------------------------WLPECALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLPSepte

Source URL: users.dsic.upv.es

Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗

Source URL: verify.rwth-aachen.de

JulyProof Search Foundations for Logic Programming Dale Miller

Source URL: www.lix.polytechnique.fr

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• FO
• Constructible universe
• Normal distribution

A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien

Source URL: icst2015.ist.tu-graz.ac.at

• Formal methods
• Logic in computer science
• Software engineering
• Helmut Veith
• Computer science
• Computer programming
• Debugging
• Veith
• Formal verification
• Turing Award
• Assertion
• Model checking

1 Under consideration for publication in Theory and Practice of Logic Programming As Time Goes By: Constraint Handling Rules A Survey of CHR Research from 1998 to 2007

Source URL: people.cs.kuleuven.be